first-order logic

un. 一阶逻辑
[网络] 初阶逻辑；一阶谓词演算或一阶逻辑；一阶述词逻辑

热门查询

portly　　n. 肥胖的人；特大号服装 adj. 肥胖的；魁伟的
historicism　　n. 历史相对论
patristics　　教父学早期基督教领袖著作的研究（patristic的复数）
beep　　n. 哔哔的声音；警笛声 vt. 嘟嘟响 vi. 嘟嘟响
apparel　　n. 服装；衣服 vt. 给…穿衣
converted　　v. 转变；改变信仰（convert的过去式和过去分词形式） adj. 修改的；改变信仰的
etymologically　　adv. 语源上
stain　　n. 污点；瑕疵；着色剂 vt. 沾污；败坏；给…着色 vi. 污染；被沾污；被染污 n. (Stain)人名；(德)施泰因；(塞、瑞典)斯泰因
nester　　n. 穴居的兽；筑巢的鸟；放牧地自耕农；试验筛组的单位筛 n. (Nester)人名；(英、俄、法)内斯特
nail　　vt. 钉；使固定；揭露 n. [解剖] 指甲；钉子 n. (Nail)人名；(法)纳伊；(土、阿拉伯、罗)纳伊尔
prerequisite　　n. 先决条件 adj. 首要必备的
wad　　n. 填料；块状软物 vt. 使成一团；填塞；使成卷 vi. 易形成团块 n. (Wad)人名；(德、瑞典)瓦德
orifice　　n. [机] 孔口
system　　n. 制度，体制；系统；方法
Ddu　　abbr. data diagnostic unit 数据诊断单元; data display unit 数据显示单元; design diagnostic unit 设计诊断单元; distribution data unit 发布数据单元
osteopathic　　adj. 整骨疗法的
descender　　n. 下降物；下降者；下行字母
kumquat　　n. 金橘；金柑；金钱桔树
cima　　反曲线
kindergartner　　n. 幼儿园教师；幼儿园里的小孩